例文
- The theory of optimizing compilers, the methodology of design by contract, and formal methods for determining program correctness, all rely heavily on invariants.
- In 1870, he came to the United States, sent by the French government for a study mission about " the different learning methodologies of design and how they are applied in arts and industry ".